#include "typedef.h"

word gSystemStack[1024];

void arch_init()
{
    kprint("riscv rv64 initialize done\n");
}

void arch_enable_int(int id, int cpu)
{
}

void arch_set_irq_handler(executable handler)
{
}
void arch_set_ttimer_timeout(executable handler)
{
}